Función recursiva — En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo. De hecho, en… … Wikipedia Español
Función de Ackermann — En teoría de la computación, la función de Ackermann es una función recursiva que toma dos números naturales como argumentos y devuelve un único número natural. Como norma general se define como sigue … Wikipedia Español
Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña … Enciclopedia Universal
Función beta de Gödel — En lógica matemática, la función beta de Gödel es una función numérica que permite la definición de funciones recursivas dentro de una teoría formal aritmética. Definición y propiedades La definición de la función beta es la siguiente: Dados tres … Wikipedia Español
Función de Ackermann — La función de Ackermann, utilizada en la teoría de la computación, es una función recursiva que toma dos números naturales como argumentos y devuelve un número natural … Enciclopedia Universal
Recursión primitiva — Saltar a navegación, búsqueda En Teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad. Se definen usando como principales… … Wikipedia Español
Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… … Wikipedia Español
Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… … Wikipedia Español
Teorema de Laplace — El teorema de Laplace (también conocido como regla de Laplace o desarrollo de Laplace), así llamado en honor del matemático francés homónimo es un teorema matemático que permite simplificar el cálculo de determinantes en matrices de elevadas… … Wikipedia Español
Haskell — Información general Paradigma Funcional, no estricto, modular, fuertemente tipificado Apareció en 1990 Diseñado por Universidad de Yale, Universidad de Glasgow … Wikipedia Español
